An ASM specification of C # threads and the.NET memory model

机译：C＃线程的asm规范和.NET内存模型

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Robert F. Stärk;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models [J] . R. Eschbach, U. Gl?sser, R. Gotzhein, Journal of Universal Computer Science . 2001,第11期

机译：SDL-2000的正式定义-将SDL规范编译和运行为ASM模型
2. Formal specification and verification of the C# thread model [J] . Robert F. Stark Theoretical computer science . 2005,第3期

机译：C＃线程模型的正式规范和验证
3. MemSAT: checking axiomatic specifications of memory models [J] . Torlak Emina, Vaziri Mandana, Dolby Julian ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2010,第6期

机译：MemSAT：检查内存模型的公理规范
4. An ASM Specification of C# Threads and the .NET Memory Model [C] . Robert F. Stark, Egon Borger International Workshop on Abstract State Machines . 2004

机译：C＃线程和.NET内存模型的ASM规范
5. Thread mapping using system-level model for shared memory multicores [D] . Mitra, Reshmi 2015

机译：使用Syste Level模型进行共享内存多设备的线程映射
6. Modelization of Nutrient Removal Processes at a Large WWTP Using a Modified ASM2d Model [O] . Jakub Drewnowski, Jacek Makinia, Lukasz Kopec, 2018

机译：使用改进的ASM2d模型对大型污水处理厂中的营养去除过程进行建模
7. Formal specification and verification of the C♯ thread model [O] . Stärk Robert F. 2005

机译：C♯线程模型的正式规范和验证
8. Static Binary Instrumentation Threading Model for Fast Memory Trace Collection. [R] . Laurenzano, M. A., Peraza, J., Carrington, L., 2012

机译：用于快速内存跟踪收集的静态二进制检测线程模型。

An ASM specification of C # threads and the.NET memory model

著录项

引文网络

相似文献

相关主题

期刊订阅